namespace CONC_DBL_UNLOCK {
#include<pthread.h>
void lock_unlock_wrapper(pthread_mutex_t* mutex)
{
	pthread_mutex_lock(mutex);
	pthread_mutex_unlock(mutex);
	pthread_mutex_unlock(mutex);
	return;
}

#include<pthread.h>
void lock_unlock_wrapper(pthread_mutex_t* mutex)
{
	pthread_mutex_lock(mutex);
	pthread_mutex_unlock(mutex);
	return;
}
}}